S. Artemov, M. C. Fitting; "Justification Logic: Reasoning with reasons"